24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017

VL 2017 The 6 th Workshop on Vision and Language

We motivate and describe a new freely available human-human dialogue data set for interactive learning of visually grounded word meanings through ostensive definition by a tutor to a learner. The data has been collected using a novel, character-by-character variant of the DiET chat tool (Healey et al., 2003; Mills and Healey, submitted) with a novel task, where a Learner needs to learn invented...

Proceedings of the NoDaLiDa 2017 Workshop on Processing Historical Language

In this paper, we describe how the TEITOK corpus tools helped to create a diachronic corpus for Old Spanish that contains both paleographic and linguistic information, which is easy to use for nonspecialists, and in which it is easy to perform manual improvements to automatically assigned POS tags and lemmas.

Workshop on Foundations of Intensional Logic and Natural Language

A very broad range of foundational issues is relevant for this workshop. We can, roughly and incompletely, enumerate the following. First, the paradoxes such as Russell's paradox and the Knower paradox; second, intensional contexts and their substitutivity problems; third, the logic of the notions that generate intensionl contexts, eg, doxastic logic, modal logic and tense logic; fourth, the on...

Proceedings of the NoDaLiDa 2017 Workshop on Processing Historical Language, Gothenburg, Sweden, May 22, 2017

Workshop on Logic and Games

This paper is concerned with the expressive power of Parikh's Game Logic interpreted in Kripke structures. We show that the syntactical alternation hierarchy of this logic is strict, by expressing the winning condition for parity games with n priorities. Moreover, it follows that Game Logic is not captured by any nite level of the -calculus alternation hierarchy. We can further conclude that mo...